#include <bits/stdc++.h>
using namespace std;

char outf[] = "./out.txt";

int main() {
    freopen(outf, "w", stdout);

    int n = 200000;
    printf("%d\n", n);
    for (int i=1; i<n; ++i)
        printf("%d ", i);
    printf("%d\n", n);

    return 0;
}